Перевод: со всех языков на все языки

со всех языков на все языки

arity of an operator

См. также в других словарях:

  • Arity — In logic, mathematics, and computer science, the arity i/ˈær …   Wikipedia

  • ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений — Терминология ГОСТ Р ИСО 13584 20 2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа: 3.3.1 арность оператора (arity of an operator):… …   Словарь-справочник терминов нормативно-технической документации

  • арность оператора — 3.3.1 арность оператора (arity of an operator): Максимальное число операндов, которые должны быть связаны с оператором. Источник …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …   Словарь-справочник терминов нормативно-технической документации

  • Unary operation — In mathematics, a unary operation is an operation with only one operand, i.e. a single input. Specifically, it is a function where A is a set. In this case f is called a unary operation on A. Common notations are prefix notation (e.g. +, −, not) …   Wikipedia

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

  • Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

  • Operation (mathematics) — The general operation as explained on this page should not be confused with the more specific operators on vector spaces. For a notion in elementary mathematics, see arithmetic operation. In its simplest meaning in mathematics and logic, an… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Operand — In mathematics, an operand is the object of a mathematical operation, a quantity on which an operation is performed.[1] Contents 1 Example 2 Notation 2.1 Expressions as operands …   Wikipedia

  • Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»